Explorer Observability Concepts in Abstract Data Type Specification , 30 Years
نویسندگان
چکیده
We recall the contribution of Montanari’s paper [GGM76] and sketch a framework for observable behaviour specification that blends some of these early ideas, seen from a more modern perspective, with our own approach.
منابع مشابه
Observability Concepts in Abstract Data Type Specification, 30 Years Later
We recall the contribution of Montanari’s paper [GGM76] and sketch a framework for observable behaviour specification that blends some of these early ideas, seen from a more modern perspective, with our own approach.
متن کاملAn observability enhancement method of ABPEL specifications
WS-BPEL is a language which aims to conceive Business applications orchestrating a set of Web Services. Designing such applications is a difficult task since many different concepts are involved (parallelism, partner interaction, fault handling, etc.). However, some Meta-engineering techniques may help designers to improve the quality level of a specification. One of them, called Testability, h...
متن کاملObservational logic, constructor-based logic, and their duality
Observability and reachability are important concepts for formal software development. While observability concepts are used to specify the required observable behavior of a program or system, reachability concepts are used to describe the underlying data in terms of datatype constructors. In this paper we first reconsider the observational logic institution which provides a logical framework f...
متن کاملTitles and abstracts for invited speakers ( In chronological order )
I will describe the Santa Fe Institutes Complexity Explorer project, which provides educational materials and free online courses (MOOCs) related to complex systems science. I will talk about the general landscape of MOOCs and specifically about my experience creating and running several MOOCs on the SFIs platform. I will also discuss the many curricular materials our team has developed for tea...
متن کاملOn Observability and Reachability ?
Observability and reachability are important concepts in formal software development. While observability concepts allow to specify the required observable behavior of a program or system, reachability concepts are used to describe the underlying data in terms of data type constructors. In this paper we show that there is a duality between ob-servability and reachability, both from a methodolog...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016